Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
821	a Preprintreihe SFB 478 – Geometrische Strukturen in der Mathematik A∞ -monads and completion Add to Reading List Source URL: wwwmath.uni-muenster.de Language: English - Date: 2008-07-14 07:56:48 Mathematics Representable functor Adjoint functors Monad Operad theory Functor Nerve Model category Natural transformation Category theory Abstract algebra Algebra
822	Combining Two Formalism for Reasoning about Concepts? (extended abstract) N.V. Shilov, N.O. Garanina, and I.S. Anureev A.P. Ershov Institute of Informatics Systems, Lavren’ev av., 6, Novosibirsk[removed], Russia, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Formal languages Metalogic Non-classical logic Model theory Modal logic Description logic Interpretation Function Finitary relation Logic Mathematics Mathematical logic
823	Description Logic vs. Order-Sorted Feature Logic Hassan A¨ıt-Kaci ILOG, Inc. [removed] Abstract. We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF ) Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Constraint programming Logic programming Model theory Non-classical logic Programming paradigms Constraint logic programming First-order logic Description logic Structure Logic Mathematical logic Mathematics
824	A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:07 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
825	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
826	CATÁLOGO DE PUBLICACIONES IIMAS-UNAM PREIMPRESOS 1. Ramsés H. Mena, “On the Bayesian mixture model and identifiability”, 29 pp. P. No. 158 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . $30.00 Abstract Add to Reading List Source URL: www.iimas.unam.mx Language: English - Date: 2014-04-30 17:52:29 Statistical methods Statistical theory Statistical tests Copula Regression analysis Bayesian inference Mixture model Expectation–maximization algorithm Bootstrapping Statistics Statistical inference Actuarial science
827	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
828	Stone Age Distributed Computing (Extended Abstract) Yuval Emek Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2013-07-12 10:24:45 NP-complete problems Network flow Graph coloring Model theory Graph partition Distributed computing Flow network Structure Consensus Mathematics Theoretical computer science Graph theory
829	Learning a Theory of Causality Noah D. Goodman, Tomer D. Ullman, Joshua B. Tenenbaum {ndg, tomeru, jbt}@mit.edu Add to Reading List Source URL: stanford.edu Language: English - Date: 2010-06-24 21:48:37 Causality Statistical models Scientific modeling Conditionals Concept learning Bayesian network Causal model Epistemology Abstract object Science Philosophy of science Ethology
830	A GROUP THEORETICAL MATHEMATICAL MODEL OF SHIFTS INTO HIGHER LEVELS OF CONSCIOUSNESS IN KEN WILBER’S INTEGRAL THEORY by Elliot Benjamin, Ph.D, Add to Reading List Source URL: www.integralscience.org Language: English - Date: 2006-07-03 19:31:03 Modular arithmetic Function Dihedral group Ring Lucas–Lehmer primality test Schönhage–Strassen algorithm Abstract algebra Mathematics Algebra

UPDATE